Nuprl Definition : false 11,40
False == void 
latex

DefinitionsFalse
FDL editor aliasesfalse

origin